
type t =
    Int
(*  | Span of int (* number in span, Span(1)=Int *) *)
  | Matrix of int list
  | MatrixUnknownSize
